\documentclass[a4,twocolumn]{article}

\usepackage{graphicx}
\usepackage{pslatex}
\usepackage{url}
\usepackage[top=1cm,left=1.7cm,right=1.7cm]{geometry}

\renewcommand{\tilde}{\raisebox{-1.2ex}{\Large\~{}\hspace{.15em}}}

\title{
% \includegraphics[width=\textwidth, keepaspectratio]{top}
}
\author{
  {\bf First Workshop on the Analysis of Model Transformations (AMT'12)}\\
  {\small URL:} \texttt{\small{http://msdl.cs.mcgill.ca/conferences/AMT}} \\
  {\small Innsbruck, Austria} \\
  {\small October 2, 2012} \\
  {\small Co-located with MODELS'12}
}
\date{\vspace*{-30pt}}

\begin{document}
\maketitle


\thispagestyle{empty}
% \begin{footnotesize}
\begin{scriptsize}

\paragraph{Motivation.}
% \begin{footnotesize}
\begin{scriptsize}
  To facilitate the processing and manipulation of models, a lot 
  of research has gone into developing languages, standards, 
  and tools to support model transformations --- a quick search
  on the internet produces more than 30 different transformation 
  languages that have been proposed in the literature or implemented 
  in open-source or commercial tools. 
  The growing adoption of these languages and the growing size and 
  complexity of the model transformations developed require a better
  understanding of how all activities in the model transformation 
  life cycle can be %better 
  optimally supported. 

  Properties of an artifact created by a model transformation
  are intimately linked to the model transformation that 
  produced it. In other words, to be able to guarantee certain 
  properties of the produced artifact, it may be very helpful, 
  or even indispensable, to also have knowledge of 
  the producing transformation. 
  As the use and significance of modeling increase, 
  the importance that 
  the model transformations produce models of sufficient 
  quality and with desirable properties increases as well;
  similarly, as the number and complexity of model transformations grows,
  the importance that transformations satisfy certain non-functional
  requirements and that life cycle activities for model 
  transformations such as development, quality assurance, 
  maintaince, and evolution are well supported grows as well. 
% \end{footnotesize}
\end{scriptsize}

\paragraph{Objectives and Scope.}
% \begin{footnotesize}
\begin{scriptsize}
      The central objective of the workshop is to provide a forum for
      the discussion and exchange of innovative ideas for the
      analysis of model transformations, broadly construed. 
      Analyses might support a variety of model transformation 
      activities including the development, quality assurance,
      maintenance and evolution by facilitating, for instance, 
      \begin{itemize}
	\setlength{\itemsep}{0.75pt}
	\setlength{\parsep}{0.75pt}
      \item the detection of typing errors, 
	anti-patterns, dead code, transformation slices, 
	likely invariants, or performance bottlenecks, 
      \item the informal, semi-formal, or formal establishment of 
	properties related to correctness or performance, 
      \item test suite evaluation through code coverage determination, 
      \item code completion and generation, 
      \item the evolution of metamodels, 
      \item impact analysis, and
      \item refactoring.
      \end{itemize}
      
      Another objective of the workshop is to help clarify which 
      transformation analysis problems can be solved with the
      help of existing analysis techniques and tools 
      developed in the context of 
      general-purpose programming languages and source code 
      transformation languages, and which analysis problems 
      require new approaches specific to model transformations. 
      The exchange of ideas between the modeling community 
      on the one hand and the programming languages community 
      and source code transformation community on the other
      hand thus is another objective of the workshop. 
% \end{footnotesize}
\end{scriptsize}

\paragraph{Topics.}
\begin{scriptsize}
% \begin{footnotesize}
      Topics of interest include, but are not limited to:
      \begin{itemize}
	\setlength{\itemsep}{0.75pt}
	\setlength{\parsep}{0.75pt}
      \item testing and test case generation for model transformations
      \item formal specification and verification of model transformations
      \item abstract interpretation for model transformations
	(to, e.g., support optimization)
      \item static analysis for model transformations such as control and data 
      flow analyses and slicing
      \item dynamic analysis for model transformations such as 
	run-time monitoring and profiling (to, e.g., determine code coverage, or detect requirements violations or likely invariants)
      \item metrics for model transformations (to support, e.g., anti-pattern detection, refactoring and evolution)
      \item impact analysis model transformations (to support, e.g., maintenance)
      \item certification and incremental re-validation for model transformations (e.g., for use in safety-critical systems)
      \item tools for analyzing model transformations
      \item (higher-order) transformation of transformation models to make them amenable for analysis
      \item case studies for analyzing model transformations
      \end{itemize}
% \end{footnotesize}
\end{scriptsize}

\paragraph{Intended Audience.}
\begin{scriptsize}
% \begin{footnotesize}
      The intended audience consists of researchers and practitioners
      interested in advancing the theory and practice of model transformation
      through analysis. While the workshop is aimed primarily at
      members of the modeling community, participation from 
      members of other relevant communities such as programming languages
      and source code transformation is encouraged. 
%\end{footnotesize}
\end{scriptsize}


\paragraph{Proceedings and Submission Guidelines.}
\begin{scriptsize}
%\begin{footnotesize}
    Authors are invited to submit short papers or long papers. 
    \noindent {\bf Long papers (max.\ 6 pages)} 
      should describe novel and innovative contributions to 
      the field of model transformation analysis. 
    \noindent {\bf Short papers (max.\ 2 pages)} can present 
      \begin{itemize}
	\setlength{\itemsep}{0.75pt}
	\setlength{\parsep}{0.75pt}
      \item {\it industrial feedback:} industrial participants may 
	contribute research agendas, experience reports or case studies 
	involving the analysis of model transformations
	in an industrial setting. 
      \item {\it work envisioned or in-progress:}
	researchers new to the field may submit extended abstracts about 
	work they are planning to do or are currently doing. 
      \item {\it tools:} these submissions discuss tools (or their use) 
	that are at least partially used for the analysis of 
	model transformations. 
      \end{itemize}
      
    All submissions must be written in English, should adhere to ACM 
    SIG Proceedings Template (available at 
    \url{http://www.acm.org/sigs/publications/proceedings-templates}), 
    and accepted papers will be published in the ACM Digital Library
    in the form of post-proceedings. 
    Submissions will be handled using EasyChair and reviewed by at 
    least three PC~members. 
\end{scriptsize}
% \end{footnotesize}

\paragraph{Important Dates.}

\mbox{}\\[5pt]
\begin{scriptsize}
%\begin{footnotesize}
\begin{tabular}{ll}
July 26, 2012 & Submission deadline \\
September 03, 2012 & Author notification \\
September 14, 2012 & Final version due \\
October 2, 2012      & Workshop
\end{tabular}
% \end{footnotesize}
\end{scriptsize}

\paragraph{Program Committee.}

\mbox{}\\[5pt]
\begin{scriptsize}
%\begin{footnotesize}
\begin{tabular}{lll}
Benoit Baudry & IRISA/INRIA Rennes, France \\
Fabian Buettner & Ecole des Mines de Nantes, France \\
Marsha Chechik & University of Toronto, Canada \\
Benoit Combemale & IRISA/INRIA Rennes, France \\
Krzysztof Czarnecki & University of Waterloo, Canada \\
Juergen Dingel (co-chair) & Queen's University, Canada \\
Alexander Egyed & University of Linz, Austria \\
Gregor Engels & University of Paderborn, Germany \\
Franck Fleurey & SINTEF, Norway \\
Holger Giese & University of Potsdam, Germany \\
Jeff Gray & University of Alabama, USA \\
Reiko Heckel & University of Leicester, UK \\
Juan de Lara & University of Madrid, Spain \\
Tihamer Levendowsky & Vanderbilt University, USA \\
Levi Lucio (co-chair) & McGill University, Canada \\
Tom Mens & University of Mons, Belgium \\
Rich Paige & York University, UK \\
Alfonso Pierantonio & University of L'Aquila, Italy \\
Perdita Stevens & University of Edinburgh, UK \\
Eugene Syriani & University of Alabama, USA \\
Gabriele  Taentzer & University of Marburg, Germany \\
Hans Vangheluwe (co-chair) & University of Antwerp, Belgium and \\
                           & McGill University, Canada \\
D\'aniel Varr\'o (co-chair) & Budapest University of Technology and \\
                        & Economics, Hungary \\
Michael Whalen & University of Minnesota, USA 
\end{tabular}
% \end{footnotesize}
\end{scriptsize}

\end{scriptsize}
% \end{footnotesize}

\end{document}

Jon Whittle & University of Lancester, UK 
